Minimization of Multiple-Valued Functions in Post Algebra
نویسندگان
چکیده
The relation between minimum sum-of-products expressions for multiple-valued input, binary-valued output functions and minimum sum-of-products expressions in Post algebra for multiple-valued input, multiple-valued output functions is made precise. We give an algorithm for minimizing Post expressions and discuss a method for their factorization. Experiments are given to demonstrate the effectiveness of the algorithm.
منابع مشابه
Decomposition of H*-Algebra Valued Negative Definite Functions on Topological *-Semigroups
In the present paper, among other results, a decomposition formula is given for the w-bounded continuous negative definite functions of a topological *-semigroup S with a weight function w into a proper H*-algebra A in terms of w-bounded continuous positive definite A-valued functions on S. A generalization of a well-known result of K. Harzallah is obtained. An earlier conjecture of the author ...
متن کاملCharacterizing Global Minimizers of the Difference of Two Positive Valued Affine Increasing and Co-radiant Functions
Many optimization problems can be reduced to a problem with an increasing and co-radiant objective function by a suitable transformation of variables. Functions, which are increasing and co-radiant, have found many applications in microeconomic analysis. In this paper, the abstract convexity of positive valued affine increasing and co-radiant (ICR) functions are discussed. Moreover, the ...
متن کاملCompact composition operators on real Banach spaces of complex-valued bounded Lipschitz functions
We characterize compact composition operators on real Banach spaces of complex-valued bounded Lipschitz functions on metric spaces, not necessarily compact, with Lipschitz involutions and determine their spectra.
متن کاملQuasicompact and Riesz unital endomorphisms of real Lipschitz algebras of complex-valued functions
We first show that a bounded linear operator $ T $ on a real Banach space $ E $ is quasicompact (Riesz, respectively) if and only if $T': E_{mathbb{C}}longrightarrow E_{mathbb{C}}$ is quasicompact (Riesz, respectively), where the complex Banach space $E_{mathbb{C}}$ is a suitable complexification of $E$ and $T'$ is the complex linear operator on $E_{mathbb{C}}$ associated with $T$. Next, we pr...
متن کاملAOXMIN-MV: A Heuristic Algorithm for AND-OR-XOR Minimization
Three-level logic is shown to have a potential for reduction of the area over twolevel implementations, as well as for a gain in speed over multi-level implementations. In this paper we present an heuristic algorithm, AOXMIN-MV, targeting a three-level logic expression which is an XOR of two sum-of-products. For some practical functions, such an AND-OR-XOR expression may have up to 27 times les...
متن کامل